Palaiseau (Essonne). La Troche

Palaiseau THÈSE

X-ray Laser Research at Palaiseau

We present the soft X-ray laser experiments performed at Greco "Interaction Laser-Matisre" (Palaiseau). They are mainly concerned with Lithium-like ions of aluminum in plasmas produced by 1.06v Nd-laser. We describe the experimental set-up which performs time-dependent gain measurements. We report results showing a gain-length product of 2 2.5 for the 3d 5f line at 105.7 A . Comparison is made ...

Palaiseau Weakest Precondition Calculus , Revisited using Why 3

This report has two objectives. First, we present an original method of proof of soundness of a weakest precondition calculus, based on the notion of blocking semantics. The method mimics, at the level of logic specifications, the classical proof of type soundness. Moreover, the proof is performed formally using the Why3 environment for deductive verification, and we illustrate, along the devel...

Etude sur la digestion pancratique de la caseine pour la production de la toxine tetanique

La lutte contre la Fasciolose en Iran